A theoretical basis for stepwise refinement and the programming calculus
نویسندگان
چکیده
منابع مشابه
Stepwise-refinement for performance: a methodology for many-core programming
ion increases portability (programs written for level perfect can run on both the GPU and the Xeon Phi), but incorporating hardware-specific details in the program can increase the performance significantly and also helps programmers to understand the performance in relation to the hardware.
متن کاملStepwise Development of Simulink Models Using the Refinement Calculus Framework
Simulink is a popular tool for model-based development of control systems. However, due to the complexity caused by the increasing demand for sophisticated controllers, validation of Simulink models is becoming a more difficult task. To ensure correctness and reliability of large models, it is important to be able to reason about model parts and their interactions. This paper provides a definit...
متن کاملA Theoretical Basis for Intensional Logic Programming∗
Intensional Logic Programming (ILP) is a new form of logic programming based on intensional logic. The denotations of formulas of an intensional first-order language are given according to intensional interpretations and to a set of possible worlds. ILP provides users with several intensional operators which are used to express relationships between different worlds. After introducing the forma...
متن کاملA Type-Theoretic Basis for an Object-Oriented Refinement Calculus
This paper addresses the issue of giving a formal semantics to an object-oriented programming and specification language. Object-oriented constructs considered are objects with attributes and methods, encapsulation of attributes, subtyping, bounded type parameters, classes, and inheritance. Classes are distinguished from object types. Besides usual imperative statements, specification statement...
متن کاملPolyAPM: Parallel Programming via Stepwise Refinement with Abstract Parallel Machines
Writing a parallel program can be a difficult task which has to meet several, sometimes conflicting goals. While the manual approach is time-consuming and error-prone, the use of compilers reduces the programmer’s control and often does not lead to an optimal result. With our approach, PolyAPM, the programming process is structured as a series of source-to-source transformations. Each intermedi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 1987
ISSN: 0167-6423
DOI: 10.1016/0167-6423(87)90011-6